Extracting safe thread schedules from incomplete model checking results
نویسندگان
چکیده
منابع مشابه
Thread-Modular Model Checking
We present thread-modular model checking, a novel technique for verifying correctness properties of loosely-coupled multithreaded software systems. Thread-modular model checking verifies each thread separately using an automatically inferred environment assumption that abstracts the possible steps of other threads. Separate verification of each thread yields significant space and time savings. ...
متن کاملExtracting Knowledge from Incomplete Data
Decision-makers are often met with situations where optimal decisions have to be made in the presence of missing information. To facilitate such work we propose application of Armstrong axioms. Key–Words: Decision support systems, uncertainty management, inference axioms
متن کاملExtracting Assumptions from Incomplete Data
Information integration is the task of aggregating data from multiple heterogeneous data sources. The understandings of semantics and context knowledge of data sources are often the keys to challenging problems in information integration such as schema alignments and inconsistency resolution. Context logic provides a unified framework for the modeling of data sources; nevertheless, the acquisit...
متن کاملSoftware model checking: extracting verification models from source code
iontable ax model 0,----"template
متن کاملThread-Safe SHMEM Extensions
This paper is intended to serve as a proposal for thread safety extensions to the OpenSHMEM specification and at the same time describes planned support for thread-safety for Cray SHMEM on Cray XE and XC systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Software Tools for Technology Transfer
سال: 2020
ISSN: 1433-2779,1433-2787
DOI: 10.1007/s10009-020-00575-y